查詢 sb:Theory. AND sb:"Machine Theory." AND sb:"MATHEMATICS" ,共 10 筆
主題 Machine Theory.
主題 MATHEMATICS
查詢再細分
-
- 語言
- 英語(10)
-
- 作者
- Hein, James L.(2)
- Abramsky, Samson,(1)
- Allouche, Jean-Paul,(1)
- Gabbay, Dov M.,(1)
- Ibaraki, Toshihide.(1)
- Itō, Masami,(1)
- Karhumäki, Juhani.(1)
- Katoh, Naoki.(1)
- Maibaum, Thomas S. E.,(1)
- Ono, Hirotaka.(1)
-
- 資料類型
- 電子書(10)
-
- 主題
- COMPUTERS(5)
- Computer Literacy.(5)
- Computer Science.(5)
- Data Processing.(5)
- HardwareGeneral.(5)
- Information Technology.(5)
- MATHEMATICS(5)
- Machine Theory.(5)
- Machine theory.(5)
- Reference.(5)
- More
-
183 0 0 0 0
Abstract state machines 2004 :advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
- 作者: Zimmermann, Wolf.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
7 0 0 0 0
Theory of computation :an introduction
- 作者: Hein, James L.
- 出版: Sudbury, Mass. : Jones and Bartlett Publishers ©1996.
- 資料類型: 電子書
-
2 0 0 0 0
Theory is forever :essays dedicated to Arto Salomaa on the occasion of his 70th birthday
- 作者: Salomaa, Arto.
- 出版: Berlin ;New York, NY : Springer 2004.
- 資料類型: 電子書
-
7 0 0 0 0
Automatic sequences :theory, applications, generalizations
- 作者: Allouche, Jean-Paul,
- 出版: Cambridge ;New York : Cambridge University Press 2003.
- 資料類型: 電子書
-
6 0 0 0 0
Algebraic theory of automata and languages
- 作者: Itō, Masami,
- 出版: River Edge, N.J. : World Scientific ©2004.
- 資料類型: 電子書
-
-
10 0 0 0 0
Discrete structures, logic, and computability
- 作者: Hein, James L.
- 出版: Boston : Jones and Bartlett ©1995.
- 資料類型: 電子書
-
5 0 0 0 0
A computational introduction to number theory and algebra
- 作者: Shoup, Victor.
- 出版: Cambridge : Cambridge University Press 2005.
- 資料類型: 電子書
-
3 0 0 0 0
Handbook of logic in computer science.Volume 5,Logic and algebraic methods
- 作者: Abramsky, Samson,
- 出版: Oxford :New York : Clarendon Press ;Oxford University Press 2000.
- 資料類型: 電子書
-
5 0 0 0 0
Algorithms and computation :14th international symposium, ISAAC 2003, Kyoto, Japan, December 15-17, 2003 : proceedings
- 作者: Ibaraki, Toshihide.
- 出版: Berlin ;New York : Springer ©2003.
- 資料類型: 電子書